Towards a formal language for systemic requirements

This work is an attempt to contribute to the field of systems architecture. More precisely, it deals with complex engineered systems analysis. Many informal methods for architecting such systems have been described over the past decade, but a lot of specific points still need to be clarified by a precise (mathematically formalized) definition. In particular, the languages used to manipulate system properties during systemic analysis are one big issue to be tackled. Our approach is the following: we take the framework described in [6] and reviewed in [4] as a starting point, and build a formal language to express functional (behaviour) requirements on models. The result is a formal language that allows architects to manipulate precise constraints on their models and, more importantly, translate them across subsequent systemic levels.